$\forall$$A$:Type. ($\forall$$x$, $y$:$A$. Dec($x$ = $y$)) $\Rightarrow$ ($\forall$$L_{1}$, $L_{2}$:($A$ List). Dec(l\_disjoint($A$;$L_{1}$;$L_{2}$)))